In
category theory, a branch of
mathematics, a dinatural transformation
between two
functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and m ...
s
:
written
:
is a function that to every object
of
associates an arrow
:
of
and satisfies the following
coherence property: for every morphism
of
the diagram
commutes.
The composition of two dinatural transformations need not be dinatural.
See also
*
Extranatural transformation (dually co-wedges and co-ends), by setting F (dually G) constant.
Extranatural transformations can be defined in terms of dinatural transformations, of which they are a special case.
See also
* Dinatural transformation
External links
* {{n ...
*
Natural transformation
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natur ...
References
External links
dinatural transformationat the
''n''-Category Lab.
Functors
{{categorytheory-stub